/*
 * Copyright 2024 LinQingYing. and contributors.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
 * The use of this source code is governed by the Apache License 2.0,
 * which allows users to freely use, modify, and distribute the code,
 * provided they adhere to the terms of the license.
 *
 * The software is provided "as-is", and the authors are not responsible for
 * any damages or issues arising from its use.
 *
 */

package com.linqingying.cangjie.resolve

import com.linqingying.cangjie.config.LanguageFeature
import com.linqingying.cangjie.config.LanguageVersionSettings
import com.linqingying.cangjie.descriptors.BindingTrace
import com.linqingying.cangjie.diagnostics.Errors
import com.linqingying.cangjie.psi.CjContextReceiverList
import com.linqingying.cangjie.types.CangJieType
import com.linqingying.cangjie.types.checker.NewCangJieTypeChecker
import com.linqingying.cangjie.types.util.isTypeParameter
import com.linqingying.cangjie.types.util.supertypes

fun checkContextReceiversAreEnabled(
    trace: BindingTrace,
    languageVersionSettings: LanguageVersionSettings,
    contextReceiverList: CjContextReceiverList
) {
    if (!languageVersionSettings.supportsFeature(LanguageFeature.ContextReceivers)) {
        trace.report(
            Errors.UNSUPPORTED_FEATURE.on(
                contextReceiverList,
                LanguageFeature.ContextReceivers to languageVersionSettings
            )
        )
    }
}
fun checkSubtypingBetweenContextReceivers(
    trace: BindingTrace,
    contextReceiverList: CjContextReceiverList,
    contextReceiverTypes: List<CangJieType>
) {
    fun CangJieType.prepared(): CangJieType = when {
        isTypeParameter() -> supertypes().first()
//        containsTypeParameter() -> replaceArgumentsWithStarProjections()
        else -> this
    }
    for (i in 0 until contextReceiverTypes.lastIndex) {
        val contextReceiverType = contextReceiverTypes[i].prepared()
        for (j in (i + 1) until contextReceiverTypes.size) {
            val anotherContextReceiverType = contextReceiverTypes[j].prepared()
            if (NewCangJieTypeChecker.Default.isSubtypeOf(contextReceiverType, anotherContextReceiverType) ||
                NewCangJieTypeChecker.Default.isSubtypeOf(anotherContextReceiverType, contextReceiverType)
            ) {
                trace.report(Errors.SUBTYPING_BETWEEN_CONTEXT_RECEIVERS.on(contextReceiverList))
                return
            }
        }
    }
}

